Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Unification Algorithms
๐Ÿšš ๐—Ÿ๐—ผ๐—ด๐—ถ๐˜€๐˜๐—ถ๐—ฐ๐˜€ ๐—ฅ๐—ผ๐˜‚๐˜๐—ฒ ๐—ข๐—ฝ๐˜๐—ถ๐—บ๐—ถ๐˜‡๐—ฎ๐˜๐—ถ๐—ผ๐—ป ๐—ฆ๐˜†๐˜€๐˜๐—ฒ๐—บ๐˜€ โ€” ๐—ฏ๐˜‚๐—ถ๐—น๐˜ (๐˜€๐—ฎ๐—ป๐—ฒ๐—น๐˜†) ๐˜„๐—ถ๐˜๐—ต ๐—๐—ฎ๐˜ƒ๐—ฎ
dev.toยท6hยท
Discuss: DEV
๐Ÿš€PyPy JIT
An enough week
blog.mitrichev.chยท23hยท
Discuss: blog.mitrichev.ch
๐ŸงฉConstraint Solvers
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.orgยท1d
๐ŸŽจGraph Coloring
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
I built llm-use-agentic โ€” an autonomous LLM orchestrator with intelligent model discovery and routing
github.comยท2hยท
Discuss: r/LLM
๐ŸŽญErlang OTP
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ›๏ธElm Architecture
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.comยท9hยท
Discuss: Substack
๐ŸชขRope Data Structures
Operable Software
ferd.caยท5hยท
Discuss: Hacker News
โœ…Configuration Validation
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.orgยท1dยท
Discuss: Hacker News, r/programming
๐ŸคZipper Structures
iLLM-A*: Hybrid AI to speed up path planning by a factor of 1000
heise.deยท3d
๐Ÿ’พCache-Oblivious Algorithms
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐ŸงฎCombinator Calculus
Parameterized Complexity of Temporal Connected Components: Treewidth and k-Path Graphs
arxiv.orgยท2d
๐Ÿ•ธ๏ธTarjan Algorithms
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.orgยท1d
๐ŸŒฒDeforestation
From Toil to Empowerment: Building Self-Service Ingress with GitOps
usenix.orgยท15h
๐Ÿ›ก๏ธCapability VMs
Ship Broken Things
matmul.netยท23hยท
Discuss: Hacker News
๐ŸŒณTree Shaking
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.toยท16hยท
Discuss: DEV
๐Ÿ”ฎCPU Branch Prediction
Show HN: I built a SaaS in 8 weeks, solo, using our own AI platform
zine.aiยท1hยท
Discuss: Hacker News
๐ŸŽฎLanguage Ergonomics
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ“‹Backus-Naur Form
Iterated Development and Study of Schemers (IDSS)
lesswrong.comยท4h
๐ŸฐCapability Machines